home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
ftp.cs.arizona.edu
/
ftp.cs.arizona.edu.tar
/
ftp.cs.arizona.edu
/
icon
/
newsgrp
/
group98c.txt
/
000134_icon-group-sender _Wed Dec 16 17:44:00 1998.msg
< prev
next >
Wrap
Internet Message Format
|
2000-09-20
|
1KB
Return-Path: <icon-group-sender>
Received: (from root@localhost)
by baskerville.CS.Arizona.EDU (8.9.1a/8.9.1) id RAA24460
for icon-group-addresses; Wed, 16 Dec 1998 17:43:54 -0700 (MST)
Message-Id: <199812170043.RAA24460@baskerville.CS.Arizona.EDU>
X-Authentication-Warning: pluto.mscc.huji.ac.il: mslamm owned process doing -bs
Date: Wed, 16 Dec 1998 19:47:18 +0200 (IST)
From: Ehud Lamm <mslamm@mscc.huji.ac.il>
To: icon-group@optima.CS.Arizona.EDU
Subject: Icon Co-Expressions in Ada
Errors-To: icon-group-errors@optima.CS.Arizona.EDU
Status: RO
I am thinking about implimenting Goal Directed Evaluation ala Icon, as an
Ada package. I considred two options:
1. Using "static" data (that is, variables stored in the package's body,
in Ada) to impliment the suspend mechanism. This has its obvious problems.
2. Using Ada's tasking facilites. This has the disadvantage of making the
user use tasks. It is sad, since as far as I know you can't simply make an
Ada procedure behave in a task like way, by invking other procedures. The
task must be explicit.
Any thoughts or ideas are more than welcome. If someone did it already -
so much the better. I'd also be happy to see references (esp. Web based)
on implimenting co-expressions.
Thanks.
Ehud Lamm mslamm@pluto.mscc.huji.ac.il